"Alessandro Armando" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, ... Computer Science Security and Cryptology)

Автор: Alessandro Armando, Автор: Gavin Lowe

Размер книги: 2.04 Mb

Automated Reasoning, 4 conf., IJCAR 2008

Автор: Alessandro Armando, Автор: Peter Baumgartner, Автор: Gilles Dowek

Категория: CsLn_

Размер книги: 6.04 Mb

Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Автор: Alessandro Armando

Размер книги: 2.69 Mb